Penix - WISR9 Position Paper
نویسنده
چکیده
The REBOUND adaptation framework organizes a collection of adaptation tactics in a way that they can be selected based on the components available for adaptation. Adaptation tactics are specified formally in terms of the relationship between the component to be adapted and the resulting adapted component. The tactic specifications are used as matching conditions for specification-based component retrieval, creating a ``retrieval for adaptation'' scenario. The results of specification matching are used to guide component adaptation. Several examples illustrate how the framework guides component and tactic selection and how basic tactics are composed to form more powerful tactics.
منابع مشابه
Dementia: new theories, new treatments.
Approximately 4 million people in the United States suffer from Alzheimer’s disease—an irreversible, progressive, neurodegenerative disorder. Ten percent of people over age 65 and half of people over age 85 are affected by the disease. The estimated annual cost of caring for a patient with advanced Alzheimer’s disease is more than $50,000. Given that Alzheimer’s is expected to become a much mor...
متن کاملPlant Science Today
[email protected] Abstract Alkaloids are nitrogen-containing compounds found in plants. Most are highly valued for their role in wide array of ailments such as anti-malarial, anti-cancerous, analgesics, and many more. In lights of tremendous interest in recent years on the chemistry and pharmacological properties of alkaloids, comprehensive data have been collected. Forest industrie...
متن کاملToward Automated Component Adaptation
This paper explores the use of specification matching to discover and select component adaptation strategies. This is done within a formal framework that integrates specification-based component retrieval with a formal architecture representation to support component retrieval and adaptation. The key to integration is determining the relationship between what components are potentially reusable...
متن کاملAutomated Component Retrieval and Adaptation Using Formal Specifications
This paper describes a method for applying formal specifications to automate a system design process based on reusable components and architectures. The focus is on identification and retrieval of components pertinent to a problem, and selection and application of architectures available for adapting these components. Component retrieval is facilitated by a heuristic based on specification sema...
متن کامل